Using Metamorphic Testing to Improve Dynamic Symbolic Execution Eman Alatawi Tim Miller

Source URL: people.eng.unimelb.edu.au

All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

Source URL: users.ece.cmu.edu

Do Not Blame Users for Misconfigurations Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan∗ , Yuanyuan Zhou, Shankar Pasupathy† University of California, San Diego, ∗ University

Source URL: cseweb.ucsd.edu

• Computer data
• Type theory
• Cross-linked polyethylene
• Electricity
• Plastics
• Configuration file
• Parameter
• Go
• Symbolic execution
• Default
• Type inference

Abstract Interpretation & Symbolic Execution Reiner H¨ahnle joint work with: Richard Bubel (Chalmers), Benjamin Weiss (KIT)

Source URL: flov.gu.se

15 Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution TIELEI WANG and TAO WEI, Peking University GUOFEI GU, Texas A&M University WEI ZOU, Peking University

Source URL: faculty.cs.tamu.edu

aspl150-margignoni-original.pdf

Source URL: www.cs.berkeley.edu

• Computing
• Computer architecture
• Software
• Instruction set architectures
• Abstract interpretation
• Symbolic execution
• Instruction set
• Emulator
• QEMU
• Machine code
• Addressing mode
• X86

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ⋆ S´ebastien Bardin Nikolai Kosmatov

Source URL: www.stance-project.eu

Efficient Symbolic Execution for Software Testing Johannes Kinder Royal Holloway, University of London Joint work with: Stefan Bucur, George Candea, Volodymyr Kuznetsov @ EPFL

Source URL: www.cs.rhul.ac.uk

Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015

Source URL: tce.technion.ac.il

• Software engineering
• Computing
• Software testing
• Software
• Concurrent programming languages
• Electronic design automation
• Formal methods
• NP-complete problems
• Fuzz testing
• Random testing
• Satisfiability modulo theories
• Symbolic execution